1 2

Results: 258872



#Item
1Transport / Traffic signs / Land transport / Road transport / Manual on Uniform Traffic Control Devices / Speed limit / Street name sign / Warning sign / Crossbuck / Road signs in the United States / Radar speed sign

Including Revision 1 dated May 2012 and Revision 2 dated May 2012 Including Revision 1 dated May 2012 and Revision 2 dated May 2012

Add to Reading List

Source URL: mutcd.fhwa.dot.gov

Language: English - Date: 2012-04-30 19:02:00
2Cryptography / Public-key cryptography / Commitment scheme / Secret sharing / Computational hardness assumption / Digital signature / Entropy / XTR

Efficient String-Commitment from Weak Bit-Commitment Kai-Min Chung1, , Feng-Hao Liu2, , Chi-Jen Lu3 , and Bo-Yin Yang3 1 2

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:37
3Itemis / YAKINDU Statechart Tools / Application software / Software license

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Add to Reading List

Source URL: legal.itemis.com

Language: English - Date: 2018-08-08 08:21:48
4Mathematical analysis / Mathematics / Dynamic programming / Markov decision process / Stochastic control / Sigma-algebra

Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 11:49:36
5Debugging / Logic in computer science / Runtime verification / Software optimization / Computing / Instrumentation / Tracing / Information technology management / Management

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-10-13 07:25:09
6Mathematics / Arithmetic / Interval / Bracket / E1

nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1 2

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:57
7

454773_1_En_2_PartFrontmatter

Add to Reading List

Source URL: link.springer.com

- Date: 2017-08-29 11:01:10
    8Digital typography / Typography / Typesetting / Writing / Web design / Web typography / World Wide Web / Digital media / Graphic design / Font / Google Fonts / TrueType

    MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be

    Add to Reading List

    Source URL: typographyforlawyers.com

    Language: English - Date: 2016-07-29 13:14:17
    9

    Plasma 1. What’s wrong? 2. What’s happening now? 3. Plasmafication!

    Add to Reading List

    Source URL: edcon.io

    - Date: 2018-10-16 07:02:08
      10Cryptography / Mathematics / Number theory / Post-quantum cryptography / Spectral theory / Algebra / Distribution / Pseudorandom function family / Learning with errors / Jordan normal form / Decomposition of spectrum

      A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2

      Add to Reading List

      Source URL: eprint.iacr.org

      Language: English - Date: 2018-10-18 18:40:38
      UPDATE